#include <stdbool.h>
#include "bsp/cpu_driver.h"



void ADC_IRQHandler(void)
{
}

void HALL_IrqHandler(void) {
}

void PWM_Update_IrqHandler(void) {
}

void PWM_Brk_IrqHandler(void) {
}

#if (CONFIG_USBOTG_DEVICE)
extern PCD_HandleTypeDef hpcd_USB_OTG_FS;
void OTG_FS_IRQHandler(void) {
    HAL_PCD_IRQHandler(&hpcd_USB_OTG_FS);
}
#endif
